Specification and Transformation of Programs - A Formal Approach to Software Development
نویسنده
چکیده
Any books that you read, no matter how you got the sentences that have been read from the books, surely they will give you goodness. But, we will show you one of recommendation of the book that you need to read. This specification and transformation of programs a formal approach to software development is what we surely mean. We will show you the reasonable reasons why you need to read this book. This book is a kind of precious book written by an experienced author.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملAn Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specification can be expressed by using an informal, a semi-formal, or a formal specification. Existing methodologies and tools can transform semi-formal specifications to code or programs but they have not addressed a transformati...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملVisuelle Datenflusssprache mit Kombinatoren höherer Ordnung
Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs co...
متن کاملAn Approach to Safety Analysis and Verification based upon Formal Functional Model
design transforms the semi-formal requirements specification into a formal implicit specification, which will then be further refined into formal explicit specification by detail design. Detail design has two goals: (1) transforming implicit specifications of processes and functions, defined in modules into explicit specifications to serve as a foundation for implementation in a specific progra...
متن کامل